Nuprl Lemma : dneg_elim
13,42
postcript
pdf
A
:
. Dec(
A
)
(
A
)
A
latex
Up
core
2
,
core
2
Definitions
Stable{
P
}
Lemmas
stable
from
decidable
origin
A:
. Dec(A) 
(
A) A A:. Dec(A) (A) A